Mechanical Engineering / Applied Mathematics / Computational Complexity / Control / Flexible Manufacturing / Supervisory Control / Concurrent Systems / Formal method / State Space / Exponential Growth / System modeling / Manufacturing System / Electrical And Electronic Engineering / Supervisory Control / Concurrent Systems / Formal method / State Space / Exponential Growth / System modeling / Manufacturing System / Electrical And Electronic Engineering
